Chủ đề: inductive definition